Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
331	Know Your Operations Updated: Use this form to identify what business functions are critical to your business’ survival. Duplicate the form for each business function. Add to Reading List Source URL: www.disastersafety.org Language: English - Date: 2015-02-17 16:10:18 Lambda calculus Function Vendor Mathematical logic Mathematics Apply Functional programming
332	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
333	197 7 ACM Turing Award Lecture The 1977 A C M Turing Award was presented to John Backus at the A C M Annual Conference in Seattle, October 17. In introducing the recipient, Jean E. Sammet, Chairman of the Awards Committ Add to Reading List Source URL: worrydream.com Language: English - Date: 2013-07-16 19:44:03 Models of computation Logic in computer science Functional languages Programming paradigms Lambda calculus John von Neumann Denotational semantics FP Functional programming Software engineering Computing Mathematics
334	Delimited Continuations The Bee’s Knees Quasiconf 2012 Andy Wingo Add to Reading List Source URL: wingolog.org Language: English - Date: 2012-08-26 05:24:36 Control flow Continuations Subroutines Delimited continuation Lambda calculus Functional programming Call-with-current-continuation Scheme Racket Software engineering Computing Computer programming
335	PDF Document Add to Reading List Source URL: www.southernknights.org.uk Language: English - Date: 2013-11-28 02:44:43 Apply Functional programming Lambda calculus
336	Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Type theory Functional programming Dependently typed programming Models of computation System F Higher-order abstract syntax Church encoding Catamorphism Declarative programming Software engineering Mathematics
337	The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents Add to Reading List Source URL: bogumilkaminski.pl Language: English - Date: 2015-01-04 14:22:49 Data types Subroutines Functional programming Lambda calculus Procedural programming languages Anonymous function Array data type ALGOL 68 Function Software engineering Algebra Mathematics
338	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics
339	AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Computing Dependently typed programming Logic in computer science Functional programming Lambda calculus Monad ATS Calculus of constructions Generalized algebraic data type Software engineering Programming language theory Type theory
340	PHYSICAL REVIEW A 74, 012508 共2006兲 Implicit density-functional theory Bin Liu Physics Department, New York University, 4 Washington Place, New York, New York 10003, USA Add to Reading List Source URL: www.binliulab.com Language: English - Date: 2014-09-03 11:16:07 Kinetic energy Density functional theory Physics Calculus of variations Quantum harmonic oscillator

UPDATE